Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

English - the hottest programming language of the future
dev.toยท4hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท8hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
Experimentation
theprogrammersparadox.blogspot.comยท1dยท
๐Ÿ“Compiler Design
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท6h
๐Ÿ”ขDenotational Semantics
Python Security: What is SAST
nocomplexity.comยท1d
๐Ÿ•ต๏ธPenetration Testing
Sales pitch about why you should learn statistics
minireference.comยท4h
๐Ÿง Intelligence Compression
Three ways formally verified code can go wrong in practice
buttondown.comยท5h
๐Ÿ“œProof Carrying Code
Categorical systems theory
topos.instituteยท10h
๐Ÿ”€Category Theory
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท22h
๐ŸŒŠStreaming Systems
An enough week
blog.mitrichev.chยท1dยท
๐ŸงฎZ3 Solver
A new breed of analyzers
daniel.haxx.seยท10hยท
๐Ÿ›Fuzzing
Codeminer42 Dev Weekly #82
blog.codeminer42.comยท4h
๐ŸŽฏGradual Typing
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท18h
๐Ÿ”—Graph Isomorphism
Building the Reasoning Engine at Axiom
axiommath.aiยท2hยท
Discuss: Hacker News
โš”๏ธLean Tactics
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Static Bundle Object: Modernizing Static Linking
medium.comยท3dยท
๐Ÿ”—Static Linking
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท3hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Let's Write a Macro in Rust
hackeryarn.comยท6hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros